\begin{nusmvCommand}{print\_usage} {Prints processor and BDD statistics.}
 
\cmdLine{print\_usage [-h]}

Prints a formatted dump of processor-specific usage statistics, and
BDD usage statistics. For Berkeley Unix, this includes all of the
information in the  \code{getrusage()} structure.

\end{nusmvCommand}
